$\forall$$u$:$\mathbb{B}$. ($u$ $\vee_{b}$ff) = $u$